DRS: A Set of Conventions for Representing Logical Languages in RDF
نویسنده
چکیده
RDF, and notations based on it such as OWL, are not very good at representing arbitrary propositions, which are necessary for many applications, including the representation of processes and plans. There are various official (“OWL rules”) and semiofficial (“RuleML”) efforts to solve this problem. DRS is similar in spirit to the OWL Rules system, but different in detail. (For further remarks, see section 3, below.) The key idea behind DRS is to describe a formula as an object. You can think of this as an alternative to reification, or as reification done right, depending on one’s understanding of the slippery term “reification.” An RDF processor must then take such a description as an assertion that the rule is true, if it occurs in an appropriate context. For example, in OWL-S, an appropriate context would be the precondition or effect of a step in a process. The building blocks of a formula are descriptions, terms and atomic formulas. An atomic formula is represented in the XML serialization of RDF thus:
منابع مشابه
Knowledge representation and reuse on the WWW: conventions, RDF extentions and simple notations
The Resource Description Framework (RDF) provides a low-level general model to describe relationships between objects. Its ultimate goal is to permit the representation, combination and processing of most kinds of metadata or knowledge from Web-accessible documents or databases. Metadata resources can then be processed for information retrieval, filtering, personalizing, aggregation or manageme...
متن کاملConventions for Knowledge Representation via RDF
The Resource Description Framework [RDF] provides a basic model to describe relationships between objects. Ultimately, it is intended to permit the representation, combination and processing of most types of metadata from Web-accessible documents or databases. However, except for representing simple metadata, its current XML-based syntax [RDF syntax] and the set of basic concept/relation types ...
متن کاملPropositions of Conventions for RDF
RDF is a general model and representing a piece of information in RDF/XML can be done in many lexical/syntactic/structural/ontological ways. Unfortunately, these different representations often cannot be automatically compared with each other and therefore retrieved, merged or reused. We cannot expect the metadata providers to follow the same schemas and this would not be prevent incomparable s...
متن کاملLogical Reconstruction of RDF and Ontology Languages
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the standard W3C definitions of RDF and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantics for ...
متن کاملLogical Reconstruction of Normative RDF
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the normative W3C definitions of RDF/RDFS and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantic...
متن کامل